$\forall$$n$:$\mathbb{N}$. AtomFree($\mathbb{N}$;$n$)